Changes in artefact‐centric business process instances and their correctness prediction
نویسندگان
چکیده
منابع مشابه
Real-time Prediction and Synchronization of Business Process Instances using Data and Control Perspective
Nowadays, in a competitive and dynamic environment of businesses, organizations need to moni-tor, analyze and improve business processes with the use of Business Process Management Systems(BPMSs). Management, prediction and time control of events in BPMS is one of the major chal-lenges of this area of research that has attracted lots of researchers. In this paper, we present a...
متن کاملBusiness Process Architecture: Use and Correctness
Becoming more and more process oriented, companies develop collections of hundreds or even thousands of business process models that represent the complex system of cooperating entities that form an organization. Designing and analyzing the structure of this system of business process models emerges as a new challenge, which is covered by the field of business process architecture. This paper p...
متن کاملManaging Massive Business Process Models and Instances with Process Space
BPM techniques are becoming more widely used, and there are more and more business process models and instances emerging. In this demonstration, we show how to manage large scale of process models and instances with Process Space. Creating, importing, storing, indexing and querying of models and instances will be exhibited. Since online tools for managing massive process instances are very rare...
متن کاملCorrectness-Preserving Configuration of Business Process Models
Reference process models capture recurrent business operations in a given domain such as procurement or logistics. These models are intended to be configured to fit the requirements of specific organizations or projects, leading to individualized process models that are subsequently used for domain analysis or solution design. Although the advantages of reusing reference process models compared...
متن کاملProcess Logic for Verifying the Correctness of Business Process Models
Extended Abstract Process verification is a key step in business process management. In this paper, we propose process logic as a new logical formalism and mathematical method to enable advanced process verification. We formally define the syntax and semantics of process logic, establish a formal relationship between process logic and graphical representation of process models, and transform th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IET Software
سال: 2020
ISSN: 1751-8806,1751-8814
DOI: 10.1049/iet-sen.2019.0310